Stable model semantics - PDFSEARCH.IO - Document Search Engine

Stable model semantics
Results: 102

#	Item
31	A Declarative Semantics for Dedalus Peter Alvaro Tom J. Ameloot Joseph M. Hellerstein William Marczak Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2011-11-29 13:32:09 Computing Logic programming Philosophical logic Datalog Stable model semantics Partition FO Modal logic SQL Mathematics Query languages Logic
32	From Answer Set Logic Programming to Circumscription via Logic of GK Fangzhen Lin and Yi Zhou Department of Computer Science Hong Kong University of Science and Technology Clear Water Bay, Kowloon, Hong Kong Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-10-13 03:43:14 Mathematics Non-classical logic Model theory Predicate logic Modal logic Stable model semantics First-order logic Interpretation Autoepistemic logic Logic Mathematical logic Logic programming
33	Computing Loops With at Most One External Support Rule Xiaoping Chen and Jianmin Ji Fangzhen Lin University of Science and Technology of China Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:51:14 Mathematics Rules of inference Boolean algebra Propositional calculus Stable model semantics Answer set programming Negation as failure Modal logic Resolution Logic Logic programming Mathematical logic
34	Answer Set Programming with Functions Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2008-06-17 04:53:47 Model theory Logic programming Predicate logic Functions and mappings Answer set programming Stable model semantics First-order logic Function Modal logic Logic Mathematical logic Mathematics
35	Consistent Query Answering in Databases∗ Leopoldo Bertossi Carleton University School of Computer Science Ottawa, Canada. Add to Reading List Source URL: homepages.inf.ed.ac.uk Language: English - Date: 2006-07-04 06:02:49 Data Query languages Database management systems Logic programming Logic Conjunctive query SQL Stable model semantics Data integration Data management Computing Database theory
36	First-Order Loop Formulas for Normal Logic Programs ∗ Yin Chen Fangzhen Lin Yisong Wang Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2006-03-23 02:44:06 Propositional calculus Model theory Boolean algebra Interpretation Philosophy of mind Propositional formula First-order logic Stable model semantics FO Logic Mathematics Mathematical logic
37	On Odd and Even Cycles in Normal Logic Programs∗ Fangzhen Lin Xishun Zhao Department of Computer Science Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2004-04-15 10:24:46 Logic programming Stable model semantics Answer set programming NC First-order logic XTR Model theory Propositional calculus Logic Mathematical logic Theoretical computer science
38	Confluence Analysis for Distributed Programs: A Model-Theoretic Approach William R. Marczak1 , Peter Alvaro1 , Neil Conway1 , Joseph M. Hellerstein1 , and David Maier2 1 Add to Reading List Source URL: db.cs.berkeley.edu Language: English - Date: 2012-09-05 02:41:30 Linguistics Logic programming Model theory Formal languages Stable model semantics Schema Interpretation Negation Semantics Logic Mathematical logic
39	Defeasibility in Answer Set Programs via Argumentation Theories? Hui Wan1 1 Michael Kifer1 Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-07-17 11:25:02 Knowledge Reasoning Non-classical logic Critical thinking Defeasible reasoning Stable model semantics Argumentation theory Answer set programming Defeasible logic Logic programming Logic Science
40	Omni-directional Hyper Logic Programs in SILK and RIF Benjamin Grosof1 , Carl Andersen2 , Mike Dean2 , and Michael Kifer3 1 2 Add to Reading List Source URL: silk.semwebcentral.org Language: English - Date: 2010-09-29 10:18:55 Reasoning Science Semantic Web Programming paradigms Boolean algebra Rule Interchange Format Semantic Web Rule Language Stable model semantics Knowledge representation and reasoning Logic Logic programming Mathematical logic